{...i} == {j:| j  i}  

latex

Up	int 1, int 1
Wellformedness Lemmas	int lower wf, int lower wf
Definitions	{x:A| B(x)} , , A  B
FDL editor aliases	int_lower